Quasiordnung

Eine Quasiordnung, auch Präordnung, (englisch preorder) ist eine abgeschwächte Variante einer Halbordnung, bei der es möglich ist, dass verschiedene Elemente in beiden Richtungen vergleichbar sind. Die Antisymmetrie muss also nicht erfüllt sein. Jede beliebige zweistellige Relation kann zu einer Quasiordnung erweitert werden, indem man ihre reflexiv-transitive Hülle bildet. Insbesondere die totalen Quasiordnungen treten in praktischen Anwendungen beim Anordnen von Objekten in Sortierverfahren, Tabellenkalkulationsprogrammen oder Datenbanken auf.